/ Celestin Apprentice 4 / Apprentice-Release4.iso / Utilities / Text / OzTeX 1.9 / TeX-inputs / Tools / theorem.sty / theorem.txt

MacOS 8.1

Win98

DOS

view JSON data

view as text

+--------+-------------------------+-------------------------+--------+--------+
|00000000| 25 25 20 54 68 69 73 20 | 69 73 20 66 69 6c 65 20 |%% This |is file |
|00000010| 60 74 68 65 6f 72 65 6d | 2e 73 74 79 27 2c 20 67 |`theorem|.sty', g|
|00000020| 65 6e 65 72 61 74 65 64 | 20 0a 25 25 20 6f 6e 20 |enerated| .%% on |
|00000030| 3c 31 39 39 35 2f 31 2f | 32 34 3e 20 77 69 74 68 |<1995/1/|24> with|
|00000040| 20 74 68 65 20 64 6f 63 | 73 74 72 69 70 20 75 74 | the doc|strip ut|
|00000050| 69 6c 69 74 79 20 28 32 | 2e 32 69 29 2e 0a 25 25 |ility (2|.2i)..%%|
|00000060| 20 54 68 65 20 6f 72 69 | 67 69 6e 61 6c 20 73 6f | The ori|ginal so|
|00000070| 75 72 63 65 20 66 69 6c | 65 73 20 77 65 72 65 3a |urce fil|es were:|
|00000080| 0a 25 25 20 74 68 65 6f | 72 65 6d 2e 64 74 78 20 |.%% theo|rem.dtx |
|00000090| 20 28 77 69 74 68 20 6f | 70 74 69 6f 6e 73 3a 20 | (with o|ptions: |
|000000a0| 60 70 61 63 6b 61 67 65 | 27 29 0a 25 25 20 49 4d |`package|').%% IM|
|000000b0| 50 4f 52 54 41 4e 54 20 | 4e 4f 54 49 43 45 3a 20 |PORTANT |NOTICE: |
|000000c0| 0a 25 25 20 54 68 69 73 | 20 66 69 6c 65 20 69 73 |.%% This| file is|
|000000d0| 20 70 61 72 74 20 6f 66 | 20 74 68 65 20 60 74 6f | part of| the `to|
|000000e0| 6f 6c 73 27 20 62 75 6e | 64 6c 65 20 0a 25 25 20 |ols' bun|dle .%% |
|000000f0| 69 6e 20 74 68 65 20 4c | 61 54 65 58 32 65 20 64 |in the L|aTeX2e d|
|00000100| 69 73 74 72 69 62 75 74 | 69 6f 6e 2e 20 0a 25 25 |istribut|ion. .%%|
|00000110| 20 59 6f 75 20 61 72 65 | 20 6e 6f 74 20 61 6c 6c | You are| not all|
|00000120| 6f 77 65 64 20 74 6f 20 | 64 69 73 74 72 69 62 75 |owed to |distribu|
|00000130| 74 65 20 74 68 69 73 20 | 66 69 6c 65 2e 20 0a 25 |te this |file. .%|
|00000140| 25 20 46 6f 72 20 64 69 | 73 74 72 69 62 75 74 69 |% For di|stributi|
|00000150| 6f 6e 20 6f 66 20 74 68 | 65 20 6f 72 69 67 69 6e |on of th|e origin|
|00000160| 61 6c 20 73 6f 75 72 63 | 65 20 73 65 65 20 0a 25 |al sourc|e see .%|
|00000170| 25 20 74 68 65 20 63 6f | 70 79 72 69 67 68 74 20 |% the co|pyright |
|00000180| 6e 6f 74 69 63 65 20 69 | 6e 20 74 68 65 20 73 6f |notice i|n the so|
|00000190| 75 72 63 65 20 66 69 6c | 65 2c 20 61 6e 64 20 0a |urce fil|e, and .|
|000001a0| 25 25 20 69 6e 20 74 68 | 65 20 66 69 6c 65 20 72 |%% in th|e file r|
|000001b0| 65 61 64 6d 65 2e 74 78 | 74 20 64 69 73 74 72 69 |eadme.tx|t distri|
|000001c0| 62 75 74 65 64 20 77 69 | 74 68 20 74 68 65 20 0a |buted wi|th the .|
|000001d0| 25 25 20 74 6f 6f 6c 73 | 20 62 75 6e 64 6c 65 2e |%% tools| bundle.|
|000001e0| 20 0a 5c 64 65 66 5c 66 | 69 6c 65 76 65 72 73 69 | .\def\f|ileversi|
|000001f0| 6f 6e 7b 76 32 2e 32 61 | 7d 0a 5c 64 65 66 5c 66 |on{v2.2a|}.\def\f|
|00000200| 69 6c 65 64 61 74 65 7b | 31 39 39 34 2f 30 32 2f |iledate{|1994/02/|
|00000210| 30 33 7d 0a 5c 64 65 66 | 5c 64 6f 63 64 61 74 65 |03}.\def|\docdate|
|00000220| 20 7b 31 39 39 34 2f 30 | 32 2f 32 38 7d 0a 25 25 | {1994/0|2/28}.%%|
|00000230| 20 5c 43 68 61 72 61 63 | 74 65 72 54 61 62 6c 65 | \Charac|terTable|
|00000240| 0a 25 25 20 20 7b 55 70 | 70 65 72 2d 63 61 73 65 |.%%  {Up|per-case|
|00000250| 20 20 20 20 5c 41 5c 42 | 5c 43 5c 44 5c 45 5c 46 |    \A\B|\C\D\E\F|
|00000260| 5c 47 5c 48 5c 49 5c 4a | 5c 4b 5c 4c 5c 4d 5c 4e |\G\H\I\J|\K\L\M\N|
|00000270| 5c 4f 5c 50 5c 51 5c 52 | 5c 53 5c 54 5c 55 5c 56 |\O\P\Q\R|\S\T\U\V|
|00000280| 5c 57 5c 58 5c 59 5c 5a | 0a 25 25 20 20 20 4c 6f |\W\X\Y\Z|.%%   Lo|
|00000290| 77 65 72 2d 63 61 73 65 | 20 20 20 20 5c 61 5c 62 |wer-case|    \a\b|
|000002a0| 5c 63 5c 64 5c 65 5c 66 | 5c 67 5c 68 5c 69 5c 6a |\c\d\e\f|\g\h\i\j|
|000002b0| 5c 6b 5c 6c 5c 6d 5c 6e | 5c 6f 5c 70 5c 71 5c 72 |\k\l\m\n|\o\p\q\r|
|000002c0| 5c 73 5c 74 5c 75 5c 76 | 5c 77 5c 78 5c 79 5c 7a |\s\t\u\v|\w\x\y\z|
|000002d0| 0a 25 25 20 20 20 44 69 | 67 69 74 73 20 20 20 20 |.%%   Di|gits    |
|000002e0| 20 20 20 20 5c 30 5c 31 | 5c 32 5c 33 5c 34 5c 35 |    \0\1|\2\3\4\5|
|000002f0| 5c 36 5c 37 5c 38 5c 39 | 0a 25 25 20 20 20 45 78 |\6\7\8\9|.%%   Ex|
|00000300| 63 6c 61 6d 61 74 69 6f | 6e 20 20 20 5c 21 20 20 |clamatio|n   \!  |
|00000310| 20 20 20 44 6f 75 62 6c | 65 20 71 75 6f 74 65 20 |   Doubl|e quote |
|00000320| 20 5c 22 20 20 20 20 20 | 48 61 73 68 20 28 6e 75 | \"     |Hash (nu|
|00000330| 6d 62 65 72 29 20 5c 23 | 0a 25 25 20 20 20 44 6f |mber) \#|.%%   Do|
|00000340| 6c 6c 61 72 20 20 20 20 | 20 20 20 20 5c 24 20 20 |llar    |    \$  |
|00000350| 20 20 20 50 65 72 63 65 | 6e 74 20 20 20 20 20 20 |   Perce|nt      |
|00000360| 20 5c 25 20 20 20 20 20 | 41 6d 70 65 72 73 61 6e | \%     |Ampersan|
|00000370| 64 20 20 20 20 20 5c 26 | 0a 25 25 20 20 20 41 63 |d     \&|.%%   Ac|
|00000380| 75 74 65 20 61 63 63 65 | 6e 74 20 20 5c 27 20 20 |ute acce|nt  \'  |
|00000390| 20 20 20 4c 65 66 74 20 | 70 61 72 65 6e 20 20 20 |   Left |paren   |
|000003a0| 20 5c 28 20 20 20 20 20 | 52 69 67 68 74 20 70 61 | \(     |Right pa|
|000003b0| 72 65 6e 20 20 20 5c 29 | 0a 25 25 20 20 20 41 73 |ren   \)|.%%   As|
|000003c0| 74 65 72 69 73 6b 20 20 | 20 20 20 20 5c 2a 20 20 |terisk  |    \*  |
|000003d0| 20 20 20 50 6c 75 73 20 | 20 20 20 20 20 20 20 20 |   Plus |        |
|000003e0| 20 5c 2b 20 20 20 20 20 | 43 6f 6d 6d 61 20 20 20 | \+     |Comma   |
|000003f0| 20 20 20 20 20 20 5c 2c | 0a 25 25 20 20 20 4d 69 |      \,|.%%   Mi|
|00000400| 6e 75 73 20 20 20 20 20 | 20 20 20 20 5c 2d 20 20 |nus     |    \-  |
|00000410| 20 20 20 50 6f 69 6e 74 | 20 20 20 20 20 20 20 20 |   Point|        |
|00000420| 20 5c 2e 20 20 20 20 20 | 53 6f 6c 69 64 75 73 20 | \.     |Solidus |
|00000430| 20 20 20 20 20 20 5c 2f | 0a 25 25 20 20 20 43 6f |      \/|.%%   Co|
|00000440| 6c 6f 6e 20 20 20 20 20 | 20 20 20 20 5c 3a 20 20 |lon     |    \:  |
|00000450| 20 20 20 53 65 6d 69 63 | 6f 6c 6f 6e 20 20 20 20 |   Semic|olon    |
|00000460| 20 5c 3b 20 20 20 20 20 | 4c 65 73 73 20 74 68 61 | \;     |Less tha|
|00000470| 6e 20 20 20 20 20 5c 3c | 0a 25 25 20 20 20 45 71 |n     \<|.%%   Eq|
|00000480| 75 61 6c 73 20 20 20 20 | 20 20 20 20 5c 3d 20 20 |uals    |    \=  |
|00000490| 20 20 20 47 72 65 61 74 | 65 72 20 74 68 61 6e 20 |   Great|er than |
|000004a0| 20 5c 3e 20 20 20 20 20 | 51 75 65 73 74 69 6f 6e | \>     |Question|
|000004b0| 20 6d 61 72 6b 20 5c 3f | 0a 25 25 20 20 20 43 6f | mark \?|.%%   Co|
|000004c0| 6d 6d 65 72 63 69 61 6c | 20 61 74 20 5c 40 20 20 |mmercial| at \@  |
|000004d0| 20 20 20 4c 65 66 74 20 | 62 72 61 63 6b 65 74 20 |   Left |bracket |
|000004e0| 20 5c 5b 20 20 20 20 20 | 42 61 63 6b 73 6c 61 73 | \[     |Backslas|
|000004f0| 68 20 20 20 20 20 5c 5c | 0a 25 25 20 20 20 52 69 |h     \\|.%%   Ri|
|00000500| 67 68 74 20 62 72 61 63 | 6b 65 74 20 5c 5d 20 20 |ght brac|ket \]  |
|00000510| 20 20 20 43 69 72 63 75 | 6d 66 6c 65 78 20 20 20 |   Circu|mflex   |
|00000520| 20 5c 5e 20 20 20 20 20 | 55 6e 64 65 72 73 63 6f | \^     |Undersco|
|00000530| 72 65 20 20 20 20 5c 5f | 0a 25 25 20 20 20 47 72 |re    \_|.%%   Gr|
|00000540| 61 76 65 20 61 63 63 65 | 6e 74 20 20 5c 60 20 20 |ave acce|nt  \`  |
|00000550| 20 20 20 4c 65 66 74 20 | 62 72 61 63 65 20 20 20 |   Left |brace   |
|00000560| 20 5c 7b 20 20 20 20 20 | 56 65 72 74 69 63 61 6c | \{     |Vertical|
|00000570| 20 62 61 72 20 20 5c 7c | 0a 25 25 20 20 20 52 69 | bar  \||.%%   Ri|
|00000580| 67 68 74 20 62 72 61 63 | 65 20 20 20 5c 7d 20 20 |ght brac|e   \}  |
|00000590| 20 20 20 54 69 6c 64 65 | 20 20 20 20 20 20 20 20 |   Tilde|        |
|000005a0| 20 5c 7e 7d 0a 25 25 20 | 50 61 63 6b 61 67 65 20 | \~}.%% |Package |
|000005b0| 60 74 68 65 6f 72 65 6d | 27 20 74 6f 20 75 73 65 |`theorem|' to use|
|000005c0| 20 77 69 74 68 20 4c 61 | 54 65 58 32 65 0a 25 25 | with La|TeX2e.%%|
|000005d0| 20 43 6f 70 79 72 69 67 | 68 74 20 28 43 29 20 31 | Copyrig|ht (C) 1|
|000005e0| 39 38 39 2d 31 39 39 34 | 20 46 72 61 6e 6b 20 4d |989-1994| Frank M|
|000005f0| 69 74 74 65 6c 62 61 63 | 68 2c 20 61 6c 6c 20 72 |ittelbac|h, all r|
|00000600| 69 67 68 74 73 20 72 65 | 73 65 72 76 65 64 2e 0a |ights re|served..|
|00000610| 25 25 20 46 6f 72 20 65 | 72 72 6f 72 20 72 65 70 |%% For e|rror rep|
|00000620| 6f 72 74 73 20 66 6f 72 | 20 55 4e 43 48 41 4e 47 |orts for| UNCHANG|
|00000630| 45 44 20 76 65 72 73 69 | 6f 6e 73 20 73 65 65 20 |ED versi|ons see |
|00000640| 72 65 61 64 6d 65 2e 74 | 78 74 2e 0a 25 25 20 20 |readme.t|xt..%%  |
|00000650| 20 54 68 65 20 6e 65 78 | 74 20 66 65 77 20 6c 69 | The nex|t few li|
|00000660| 6e 65 73 20 64 65 66 69 | 6e 65 20 74 68 65 6f 72 |nes defi|ne theor|
|00000670| 65 6d 20 73 65 74 73 20 | 77 68 69 63 68 20 61 72 |em sets |which ar|
|00000680| 65 20 75 73 65 64 0a 25 | 25 20 20 20 69 6e 20 74 |e used.%|%   in t|
|00000690| 68 65 20 65 78 61 6d 70 | 6c 65 20 73 65 63 74 69 |he examp|le secti|
|000006a0| 6f 6e 20 6f 66 20 74 68 | 65 20 64 6f 63 75 6d 65 |on of th|e docume|
|000006b0| 6e 74 61 74 69 6f 6e 2e | 0a 5c 40 69 66 75 6e 64 |ntation.|.\@ifund|
|000006c0| 65 66 69 6e 65 64 7b 74 | 68 65 6f 72 65 6d 40 73 |efined{t|heorem@s|
|000006d0| 74 79 6c 65 7d 7b 7d 7b | 5c 65 6e 64 69 6e 70 75 |tyle}{}{|\endinpu|
|000006e0| 74 7d 0a 5c 50 72 6f 76 | 69 64 65 73 50 61 63 6b |t}.\Prov|idesPack|
|000006f0| 61 67 65 7b 74 68 65 6f | 72 65 6d 7d 5b 5c 66 69 |age{theo|rem}[\fi|
|00000700| 6c 65 64 61 74 65 5c 73 | 70 61 63 65 0a 20 20 20 |ledate\s|pace.   |
|00000710| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |        |        |
|00000720| 20 20 20 20 20 20 20 20 | 4c 61 54 65 58 32 65 20 |        |LaTeX2e |
|00000730| 70 61 63 6b 61 67 65 20 | 5c 66 69 6c 65 76 65 72 |package |\filever|
|00000740| 73 69 6f 6e 5d 0a 5c 74 | 79 70 65 6f 75 74 7b 50 |sion].\t|ypeout{P|
|00000750| 61 63 6b 61 67 65 3a 20 | 60 74 68 65 6f 72 65 6d |ackage: |`theorem|
|00000760| 27 20 5c 66 69 6c 65 76 | 65 72 73 69 6f 6e 0a 20 |' \filev|ersion. |
|00000770| 20 20 20 20 20 20 20 20 | 5c 40 73 70 61 63 65 73 |        |\@spaces|
|00000780| 20 3c 5c 66 69 6c 65 64 | 61 74 65 3e 20 20 28 46 | <\filed|ate>  (F|
|00000790| 4d 69 29 7d 0a 5c 74 79 | 70 65 6f 75 74 7b 45 6e |Mi)}.\ty|peout{En|
|000007a0| 67 6c 69 73 68 20 64 6f | 63 75 6d 65 6e 74 61 74 |glish do|cumentat|
|000007b0| 69 6f 6e 20 61 73 20 6f | 66 0a 20 20 20 20 20 20 |ion as o|f.      |
|000007c0| 20 20 20 3c 5c 64 6f 63 | 64 61 74 65 3e 20 20 28 |   <\doc|date>  (|
|000007d0| 46 4d 69 29 7d 0a 5c 67 | 64 65 66 5c 74 68 65 6f |FMi)}.\g|def\theo|
|000007e0| 72 65 6d 73 74 79 6c 65 | 23 31 7b 25 0a 20 20 20 |remstyle|#1{%.   |
|000007f0| 5c 40 69 66 75 6e 64 65 | 66 69 6e 65 64 7b 74 68 |\@ifunde|fined{th|
|00000800| 40 23 31 7d 7b 5c 40 77 | 61 72 6e 69 6e 67 0a 20 |@#1}{\@w|arning. |
|00000810| 20 20 20 20 20 20 20 20 | 20 7b 55 6e 6b 6e 6f 77 |        | {Unknow|
|00000820| 6e 20 74 68 65 6f 72 65 | 6d 73 74 79 6c 65 20 60 |n theore|mstyle `|
|00000830| 23 31 27 2e 20 55 73 69 | 6e 67 20 60 70 6c 61 69 |#1'. Usi|ng `plai|
|00000840| 6e 27 7d 25 0a 20 20 20 | 20 20 20 20 20 20 20 5c |n'}%.   |       \|
|00000850| 74 68 65 6f 72 65 6d 40 | 73 74 79 6c 65 7b 70 6c |theorem@|style{pl|
|00000860| 61 69 6e 7d 7d 25 0a 20 | 20 20 20 20 20 7b 5c 74 |ain}}%. |     {\t|
|00000870| 68 65 6f 72 65 6d 40 73 | 74 79 6c 65 7b 23 31 7d |heorem@s|tyle{#1}|
|00000880| 7d 25 0a 20 20 20 20 20 | 20 5c 62 65 67 69 6e 67 |}%.     | \beging|
|00000890| 72 6f 75 70 0a 20 20 20 | 20 20 20 20 20 5c 63 73 |roup.   |     \cs|
|000008a0| 6e 61 6d 65 20 74 68 40 | 5c 74 68 65 5c 74 68 65 |name th@|\the\the|
|000008b0| 6f 72 65 6d 40 73 74 79 | 6c 65 20 5c 65 6e 64 63 |orem@sty|le \endc|
|000008c0| 73 6e 61 6d 65 0a 20 20 | 20 20 20 20 5c 65 6e 64 |sname.  |    \end|
|000008d0| 67 72 6f 75 70 7d 0a 5c | 67 6c 6f 62 61 6c 5c 6c |group}.\|global\l|
|000008e0| 65 74 5c 40 62 65 67 69 | 6e 74 68 65 6f 72 65 6d |et\@begi|ntheorem|
|000008f0| 5c 72 65 6c 61 78 0a 5c | 67 6c 6f 62 61 6c 5c 6c |\relax.\|global\l|
|00000900| 65 74 5c 40 6f 70 61 72 | 67 62 65 67 69 6e 74 68 |et\@opar|gbeginth|
|00000910| 65 6f 72 65 6d 5c 72 65 | 6c 61 78 0a 5c 6e 65 77 |eorem\re|lax.\new|
|00000920| 74 6f 6b 73 5c 74 68 65 | 6f 72 65 6d 40 73 74 79 |toks\the|orem@sty|
|00000930| 6c 65 0a 5c 67 6c 6f 62 | 61 6c 5c 74 68 65 6f 72 |le.\glob|al\theor|
|00000940| 65 6d 40 73 74 79 6c 65 | 7b 70 6c 61 69 6e 7d 0a |em@style|{plain}.|
|00000950| 5c 67 64 65 66 5c 74 68 | 65 6f 72 65 6d 62 6f 64 |\gdef\th|eorembod|
|00000960| 79 66 6f 6e 74 23 31 7b | 25 0a 20 20 20 5c 64 65 |yfont#1{|%.   \de|
|00000970| 66 5c 40 74 65 6d 70 61 | 7b 23 31 7d 25 0a 20 20 |f\@tempa|{#1}%.  |
|00000980| 20 5c 69 66 78 5c 40 74 | 65 6d 70 61 5c 40 65 6d | \ifx\@t|empa\@em|
|00000990| 70 74 79 0a 20 20 20 20 | 5c 74 68 65 6f 72 65 6d |pty.    |\theorem|
|000009a0| 40 62 6f 64 79 66 6f 6e | 74 7b 7d 25 0a 20 20 20 |@bodyfon|t{}%.   |
|000009b0| 5c 65 6c 73 65 0a 20 20 | 20 20 5c 74 68 65 6f 72 |\else.  |  \theor|
|000009c0| 65 6d 40 62 6f 64 79 66 | 6f 6e 74 7b 5c 72 65 73 |em@bodyf|ont{\res|
|000009d0| 65 74 40 66 6f 6e 74 23 | 31 7d 25 0a 20 20 20 5c |et@font#|1}%.   \|
|000009e0| 66 69 0a 5c 6e 65 77 74 | 6f 6b 73 5c 74 68 65 6f |fi.\newt|oks\theo|
|000009f0| 72 65 6d 40 62 6f 64 79 | 66 6f 6e 74 0a 5c 67 6c |rem@body|font.\gl|
|00000a00| 6f 62 61 6c 5c 74 68 65 | 6f 72 65 6d 40 62 6f 64 |obal\the|orem@bod|
|00000a10| 79 66 6f 6e 74 7b 7d 0a | 5c 67 64 65 66 5c 74 68 |yfont{}.|\gdef\th|
|00000a20| 65 6f 72 65 6d 68 65 61 | 64 65 72 66 6f 6e 74 23 |eoremhea|derfont#|
|00000a30| 31 7b 5c 67 64 65 66 5c | 74 68 65 6f 72 65 6d 40 |1{\gdef\|theorem@|
|00000a40| 68 65 61 64 65 72 66 6f | 6e 74 7b 23 31 7d 25 0a |headerfo|nt{#1}%.|
|00000a50| 20 20 20 20 20 20 20 5c | 67 64 65 66 5c 74 68 65 |       \|gdef\the|
|00000a60| 6f 72 65 6d 68 65 61 64 | 65 72 66 6f 6e 74 23 23 |oremhead|erfont##|
|00000a70| 31 7b 25 0a 20 20 20 20 | 20 20 20 20 5c 74 79 70 |1{%.    |    \typ|
|00000a80| 65 6f 75 74 7b 5c 73 74 | 72 69 6e 67 5c 74 68 65 |eout{\st|ring\the|
|00000a90| 6f 72 65 6d 68 65 61 64 | 65 72 66 6f 6e 74 5c 73 |oremhead|erfont\s|
|00000aa0| 70 61 63 65 20 73 68 6f | 75 6c 64 20 62 65 20 75 |pace sho|uld be u|
|00000ab0| 73 65 64 0a 20 20 20 20 | 20 20 20 20 20 20 20 20 |sed.    |        |
|00000ac0| 20 20 20 20 20 6f 6e 6c | 79 20 6f 6e 63 65 2e 7d |     onl|y once.}|
|00000ad0| 7d 7d 0a 5c 69 66 78 5c | 75 70 73 68 61 70 65 5c |}}.\ifx\|upshape\|
|00000ae0| 75 6e 64 65 66 69 6e 65 | 64 0a 5c 67 64 65 66 5c |undefine|d.\gdef\|
|00000af0| 74 68 65 6f 72 65 6d 40 | 68 65 61 64 65 72 66 6f |theorem@|headerfo|
|00000b00| 6e 74 7b 5c 62 66 73 65 | 72 69 65 73 7d 0a 5c 65 |nt{\bfse|ries}.\e|
|00000b10| 6c 73 65 20 5c 67 64 65 | 66 5c 74 68 65 6f 72 65 |lse \gde|f\theore|
|00000b20| 6d 40 68 65 61 64 65 72 | 66 6f 6e 74 7b 5c 6e 6f |m@header|font{\no|
|00000b30| 72 6d 61 6c 66 6f 6e 74 | 5c 62 66 73 65 72 69 65 |rmalfont|\bfserie|
|00000b40| 73 7d 5c 66 69 0a 5c 67 | 64 65 66 5c 74 68 40 70 |s}\fi.\g|def\th@p|
|00000b50| 6c 61 69 6e 7b 5c 40 69 | 6e 70 75 74 40 7b 74 68 |lain{\@i|nput@{th|
|00000b60| 70 2e 73 74 79 7d 7d 0a | 5c 67 64 65 66 5c 74 68 |p.sty}}.|\gdef\th|
|00000b70| 40 62 72 65 61 6b 7b 5c | 40 69 6e 70 75 74 40 7b |@break{\|@input@{|
|00000b80| 74 68 62 2e 73 74 79 7d | 7d 0a 5c 67 64 65 66 5c |thb.sty}|}.\gdef\|
|00000b90| 74 68 40 6d 61 72 67 69 | 6e 62 72 65 61 6b 7b 5c |th@margi|nbreak{\|
|00000ba0| 40 69 6e 70 75 74 40 7b | 74 68 6d 62 2e 73 74 79 |@input@{|thmb.sty|
|00000bb0| 7d 7d 0a 5c 67 64 65 66 | 5c 74 68 40 63 68 61 6e |}}.\gdef|\th@chan|
|00000bc0| 67 65 62 72 65 61 6b 7b | 5c 40 69 6e 70 75 74 40 |gebreak{|\@input@|
|00000bd0| 7b 74 68 63 62 2e 73 74 | 79 7d 7d 0a 5c 67 64 65 |{thcb.st|y}}.\gde|
|00000be0| 66 5c 74 68 40 63 68 61 | 6e 67 65 7b 5c 40 69 6e |f\th@cha|nge{\@in|
|00000bf0| 70 75 74 40 7b 74 68 63 | 2e 73 74 79 7d 7d 0a 5c |put@{thc|.sty}}.\|
|00000c00| 67 64 65 66 5c 74 68 40 | 6d 61 72 67 69 6e 7b 5c |gdef\th@|margin{\|
|00000c10| 40 69 6e 70 75 74 40 7b | 74 68 6d 2e 73 74 79 7d |@input@{|thm.sty}|
|00000c20| 7d 0a 5c 67 64 65 66 5c | 40 78 6e 74 68 6d 23 31 |}.\gdef\|@xnthm#1|
|00000c30| 23 32 5b 23 33 5d 7b 5c | 65 78 70 61 6e 64 61 66 |#2[#3]{\|expandaf|
|00000c40| 74 65 72 5c 40 69 66 64 | 65 66 69 6e 61 62 6c 65 |ter\@ifd|efinable|
|00000c50| 5c 63 73 6e 61 6d 65 20 | 23 31 5c 65 6e 64 63 73 |\csname |#1\endcs|
|00000c60| 6e 61 6d 65 0a 20 20 20 | 7b 25 0a 20 20 20 20 5c |name.   |{%.    \|
|00000c70| 40 64 65 66 69 6e 65 63 | 6f 75 6e 74 65 72 7b 23 |@definec|ounter{#|
|00000c80| 31 7d 5c 40 61 64 64 74 | 6f 72 65 73 65 74 7b 23 |1}\@addt|oreset{#|
|00000c90| 31 7d 7b 23 33 7d 25 0a | 20 20 20 20 5c 65 78 70 |1}{#3}%.|    \exp|
|00000ca0| 61 6e 64 61 66 74 65 72 | 5c 78 64 65 66 5c 63 73 |andafter|\xdef\cs|
|00000cb0| 6e 61 6d 65 20 74 68 65 | 23 31 5c 65 6e 64 63 73 |name the|#1\endcs|
|00000cc0| 6e 61 6d 65 0a 20 20 20 | 20 20 20 7b 5c 65 78 70 |name.   |   {\exp|
|00000cd0| 61 6e 64 61 66 74 65 72 | 20 5c 6e 6f 65 78 70 61 |andafter| \noexpa|
|00000ce0| 6e 64 20 5c 63 73 6e 61 | 6d 65 20 74 68 65 23 33 |nd \csna|me the#3|
|00000cf0| 5c 65 6e 64 63 73 6e 61 | 6d 65 0a 20 20 20 20 20 |\endcsna|me.     |
|00000d00| 20 20 5c 40 74 68 6d 63 | 6f 75 6e 74 65 72 73 65 |  \@thmc|ounterse|
|00000d10| 70 20 5c 40 74 68 6d 63 | 6f 75 6e 74 65 72 7b 23 |p \@thmc|ounter{#|
|00000d20| 31 7d 7d 25 0a 20 20 20 | 20 5c 64 65 66 5c 40 74 |1}}%.   | \def\@t|
|00000d30| 65 6d 70 61 7b 5c 67 6c | 6f 62 61 6c 5c 40 6e 61 |empa{\gl|obal\@na|
|00000d40| 6d 65 64 65 66 7b 23 31 | 7d 7d 25 0a 20 20 20 20 |medef{#1|}}%.    |
|00000d50| 5c 65 78 70 61 6e 64 61 | 66 74 65 72 20 5c 40 74 |\expanda|fter \@t|
|00000d60| 65 6d 70 61 20 5c 65 78 | 70 61 6e 64 61 66 74 65 |empa \ex|pandafte|
|00000d70| 72 7b 25 0a 20 20 20 20 | 20 20 5c 63 73 6e 61 6d |r{%.    |  \csnam|
|00000d80| 65 20 74 68 40 5c 74 68 | 65 20 5c 74 68 65 6f 72 |e th@\th|e \theor|
|00000d90| 65 6d 40 73 74 79 6c 65 | 0a 20 20 20 20 20 20 20 |em@style|.       |
|00000da0| 20 20 20 20 20 5c 65 78 | 70 61 6e 64 61 66 74 65 |     \ex|pandafte|
|00000db0| 72 20 5c 65 6e 64 63 73 | 6e 61 6d 65 20 5c 74 68 |r \endcs|name \th|
|00000dc0| 65 20 5c 74 68 65 6f 72 | 65 6d 40 62 6f 64 79 66 |e \theor|em@bodyf|
|00000dd0| 6f 6e 74 0a 20 20 20 20 | 20 5c 40 74 68 6d 7b 23 |ont.    | \@thm{#|
|00000de0| 31 7d 7b 23 32 7d 7d 25 | 0a 20 20 20 20 5c 67 6c |1}{#2}}%|.    \gl|
|00000df0| 6f 62 61 6c 20 5c 65 78 | 70 61 6e 64 61 66 74 65 |obal \ex|pandafte|
|00000e00| 72 20 5c 6c 65 74 20 5c | 63 73 6e 61 6d 65 20 65 |r \let \|csname e|
|00000e10| 6e 64 23 31 5c 65 6e 64 | 63 73 6e 61 6d 65 20 5c |nd#1\end|csname \|
|00000e20| 40 65 6e 64 74 68 65 6f | 72 65 6d 0a 20 20 20 7d |@endtheo|rem.   }|
|00000e30| 7d 0a 5c 67 64 65 66 5c | 40 79 6e 74 68 6d 23 31 |}.\gdef\|@ynthm#1|
|00000e40| 23 32 7b 5c 65 78 70 61 | 6e 64 61 66 74 65 72 5c |#2{\expa|ndafter\|
|00000e50| 40 69 66 64 65 66 69 6e | 61 62 6c 65 5c 63 73 6e |@ifdefin|able\csn|
|00000e60| 61 6d 65 20 23 31 5c 65 | 6e 64 63 73 6e 61 6d 65 |ame #1\e|ndcsname|
|00000e70| 0a 20 20 20 7b 5c 40 64 | 65 66 69 6e 65 63 6f 75 |.   {\@d|efinecou|
|00000e80| 6e 74 65 72 7b 23 31 7d | 25 0a 20 20 20 20 5c 65 |nter{#1}|%.    \e|
|00000e90| 78 70 61 6e 64 61 66 74 | 65 72 5c 78 64 65 66 5c |xpandaft|er\xdef\|
|00000ea0| 63 73 6e 61 6d 65 20 74 | 68 65 23 31 5c 65 6e 64 |csname t|he#1\end|
|00000eb0| 63 73 6e 61 6d 65 7b 5c | 40 74 68 6d 63 6f 75 6e |csname{\|@thmcoun|
|00000ec0| 74 65 72 7b 23 31 7d 7d | 25 0a 20 20 20 20 5c 64 |ter{#1}}|%.    \d|
|00000ed0| 65 66 5c 40 74 65 6d 70 | 61 7b 5c 67 6c 6f 62 61 |ef\@temp|a{\globa|
|00000ee0| 6c 5c 40 6e 61 6d 65 64 | 65 66 7b 23 31 7d 7d 5c |l\@named|ef{#1}}\|
|00000ef0| 65 78 70 61 6e 64 61 66 | 74 65 72 20 5c 40 74 65 |expandaf|ter \@te|
|00000f00| 6d 70 61 0a 20 20 20 20 | 20 5c 65 78 70 61 6e 64 |mpa.    | \expand|
|00000f10| 61 66 74 65 72 7b 5c 63 | 73 6e 61 6d 65 20 74 68 |after{\c|sname th|
|00000f20| 40 5c 74 68 65 20 5c 74 | 68 65 6f 72 65 6d 40 73 |@\the \t|heorem@s|
|00000f30| 74 79 6c 65 20 5c 65 78 | 70 61 6e 64 61 66 74 65 |tyle \ex|pandafte|
|00000f40| 72 0a 20 20 20 20 20 5c | 65 6e 64 63 73 6e 61 6d |r.     \|endcsnam|
|00000f50| 65 20 5c 74 68 65 5c 74 | 68 65 6f 72 65 6d 40 62 |e \the\t|heorem@b|
|00000f60| 6f 64 79 66 6f 6e 74 20 | 5c 40 74 68 6d 7b 23 31 |odyfont |\@thm{#1|
|00000f70| 7d 7b 23 32 7d 7d 25 0a | 20 20 20 20 5c 67 6c 6f |}{#2}}%.|    \glo|
|00000f80| 62 61 6c 20 5c 65 78 70 | 61 6e 64 61 66 74 65 72 |bal \exp|andafter|
|00000f90| 20 5c 6c 65 74 20 5c 63 | 73 6e 61 6d 65 20 65 6e | \let \c|sname en|
|00000fa0| 64 23 31 5c 65 6e 64 63 | 73 6e 61 6d 65 20 5c 40 |d#1\endc|sname \@|
|00000fb0| 65 6e 64 74 68 65 6f 72 | 65 6d 7d 7d 0a 5c 67 64 |endtheor|em}}.\gd|
|00000fc0| 65 66 5c 40 6f 74 68 6d | 23 31 5b 23 32 5d 23 33 |ef\@othm|#1[#2]#3|
|00000fd0| 7b 5c 65 78 70 61 6e 64 | 61 66 74 65 72 5c 40 69 |{\expand|after\@i|
|00000fe0| 66 64 65 66 69 6e 61 62 | 6c 65 5c 63 73 6e 61 6d |fdefinab|le\csnam|
|00000ff0| 65 20 23 31 5c 65 6e 64 | 63 73 6e 61 6d 65 0a 20 |e #1\end|csname. |
|00001000| 20 7b 5c 65 78 70 61 6e | 64 61 66 74 65 72 20 5c | {\expan|dafter \|
|00001010| 78 64 65 66 20 5c 63 73 | 6e 61 6d 65 20 74 68 65 |xdef \cs|name the|
|00001020| 23 31 5c 65 6e 64 63 73 | 6e 61 6d 65 0a 20 20 20 |#1\endcs|name.   |
|00001030| 20 20 7b 5c 65 78 70 61 | 6e 64 61 66 74 65 72 20 |  {\expa|ndafter |
|00001040| 5c 6e 6f 65 78 70 61 6e | 64 20 5c 63 73 6e 61 6d |\noexpan|d \csnam|
|00001050| 65 20 74 68 65 23 32 5c | 65 6e 64 63 73 6e 61 6d |e the#2\|endcsnam|
|00001060| 65 7d 25 0a 20 20 20 20 | 5c 64 65 66 5c 40 74 65 |e}%.    |\def\@te|
|00001070| 6d 70 61 7b 5c 67 6c 6f | 62 61 6c 5c 40 6e 61 6d |mpa{\glo|bal\@nam|
|00001080| 65 64 65 66 7b 23 31 7d | 7d 5c 65 78 70 61 6e 64 |edef{#1}|}\expand|
|00001090| 61 66 74 65 72 20 5c 40 | 74 65 6d 70 61 0a 20 20 |after \@|tempa.  |
|000010a0| 20 20 20 5c 65 78 70 61 | 6e 64 61 66 74 65 72 7b |   \expa|ndafter{|
|000010b0| 5c 63 73 6e 61 6d 65 20 | 74 68 40 5c 74 68 65 20 |\csname |th@\the |
|000010c0| 5c 74 68 65 6f 72 65 6d | 40 73 74 79 6c 65 20 5c |\theorem|@style \|
|000010d0| 65 78 70 61 6e 64 61 66 | 74 65 72 0a 20 20 20 20 |expandaf|ter.    |
|000010e0| 20 5c 65 6e 64 63 73 6e | 61 6d 65 20 5c 74 68 65 | \endcsn|ame \the|
|000010f0| 5c 74 68 65 6f 72 65 6d | 40 62 6f 64 79 66 6f 6e |\theorem|@bodyfon|
|00001100| 74 20 5c 40 74 68 6d 7b | 23 32 7d 7b 23 33 7d 7d |t \@thm{|#2}{#3}}|
|00001110| 25 0a 20 20 20 20 5c 67 | 6c 6f 62 61 6c 20 5c 65 |%.    \g|lobal \e|
|00001120| 78 70 61 6e 64 61 66 74 | 65 72 20 5c 6c 65 74 20 |xpandaft|er \let |
|00001130| 5c 63 73 6e 61 6d 65 20 | 65 6e 64 23 31 5c 65 6e |\csname |end#1\en|
|00001140| 64 63 73 6e 61 6d 65 20 | 5c 40 65 6e 64 74 68 65 |dcsname |\@endthe|
|00001150| 6f 72 65 6d 7d 7d 0a 5c | 67 64 65 66 5c 40 74 68 |orem}}.\|gdef\@th|
|00001160| 6d 23 31 23 32 7b 5c 72 | 65 66 73 74 65 70 63 6f |m#1#2{\r|efstepco|
|00001170| 75 6e 74 65 72 7b 23 31 | 7d 25 0a 20 20 20 5c 74 |unter{#1|}%.   \t|
|00001180| 72 69 76 6c 69 73 74 0a | 20 20 20 5c 40 74 6f 70 |rivlist.|   \@top|
|00001190| 73 65 70 20 5c 74 68 65 | 6f 72 65 6d 70 72 65 73 |sep \the|orempres|
|000011a0| 6b 69 70 61 6d 6f 75 6e | 74 20 20 20 20 20 20 20 |kipamoun|t       |
|000011b0| 20 20 20 20 20 20 20 20 | 25 20 75 73 65 64 20 62 |        |% used b|
|000011c0| 79 20 66 69 72 73 74 20 | 5c 69 74 65 6d 0a 20 20 |y first |\item.  |
|000011d0| 20 5c 40 74 6f 70 73 65 | 70 61 64 64 20 5c 74 68 | \@topse|padd \th|
|000011e0| 65 6f 72 65 6d 70 6f 73 | 74 73 6b 69 70 61 6d 6f |eorempos|tskipamo|
|000011f0| 75 6e 74 20 20 20 20 20 | 20 20 20 20 20 20 25 20 |unt     |      % |
|00001200| 75 73 65 64 20 62 79 20 | 5c 40 65 6e 64 70 61 72 |used by |\@endpar|
|00001210| 65 6e 76 0a 20 20 20 5c | 40 69 66 6e 65 78 74 63 |env.   \|@ifnextc|
|00001220| 68 61 72 20 5b 25 0a 20 | 20 20 7b 5c 40 79 74 68 |har [%. |  {\@yth|
|00001230| 6d 7b 23 31 7d 7b 23 32 | 7d 7d 25 0a 20 20 20 7b |m{#1}{#2|}}%.   {|
|00001240| 5c 40 62 65 67 69 6e 74 | 68 65 6f 72 65 6d 7b 23 |\@begint|heorem{#|
|00001250| 32 7d 7b 5c 63 73 6e 61 | 6d 65 20 74 68 65 23 31 |2}{\csna|me the#1|
|00001260| 5c 65 6e 64 63 73 6e 61 | 6d 65 7d 5c 69 67 6e 6f |\endcsna|me}\igno|
|00001270| 72 65 73 70 61 63 65 73 | 7d 7d 0a 5c 67 6c 6f 62 |respaces|}}.\glob|
|00001280| 61 6c 5c 6c 65 74 5c 40 | 78 74 68 6d 5c 72 65 6c |al\let\@|xthm\rel|
|00001290| 61 78 0a 5c 6e 65 77 73 | 6b 69 70 5c 74 68 65 6f |ax.\news|kip\theo|
|000012a0| 72 65 6d 70 72 65 73 6b | 69 70 61 6d 6f 75 6e 74 |rempresk|ipamount|
|000012b0| 0a 5c 6e 65 77 73 6b 69 | 70 5c 74 68 65 6f 72 65 |.\newski|p\theore|
|000012c0| 6d 70 6f 73 74 73 6b 69 | 70 61 6d 6f 75 6e 74 0a |mpostski|pamount.|
|000012d0| 5c 67 6c 6f 62 61 6c 5c | 73 65 74 6c 65 6e 67 74 |\global\|setlengt|
|000012e0| 68 5c 74 68 65 6f 72 65 | 6d 70 72 65 73 6b 69 70 |h\theore|mpreskip|
|000012f0| 61 6d 6f 75 6e 74 7b 31 | 32 70 74 20 70 6c 75 73 |amount{1|2pt plus|
|00001300| 20 35 70 74 20 6d 69 6e | 75 73 20 33 70 74 7d 0a | 5pt min|us 3pt}.|
|00001310| 5c 67 6c 6f 62 61 6c 5c | 73 65 74 6c 65 6e 67 74 |\global\|setlengt|
|00001320| 68 5c 74 68 65 6f 72 65 | 6d 70 6f 73 74 73 6b 69 |h\theore|mpostski|
|00001330| 70 61 6d 6f 75 6e 74 7b | 38 70 74 20 70 6c 75 73 |pamount{|8pt plus|
|00001340| 20 33 70 74 20 6d 69 6e | 75 73 20 31 2e 35 70 74 | 3pt min|us 1.5pt|
|00001350| 7d 0a 5c 67 6c 6f 62 61 | 6c 5c 6c 65 74 5c 40 65 |}.\globa|l\let\@e|
|00001360| 6e 64 74 68 65 6f 72 65 | 6d 3d 5c 65 6e 64 74 72 |ndtheore|m=\endtr|
|00001370| 69 76 6c 69 73 74 0a 5c | 40 6f 6e 6c 79 70 72 65 |ivlist.\|@onlypre|
|00001380| 61 6d 62 6c 65 5c 40 78 | 6e 74 68 6d 0a 5c 40 6f |amble\@x|nthm.\@o|
|00001390| 6e 6c 79 70 72 65 61 6d | 62 6c 65 5c 40 79 6e 74 |nlypream|ble\@ynt|
|000013a0| 68 6d 0a 5c 40 6f 6e 6c | 79 70 72 65 61 6d 62 6c |hm.\@onl|ypreambl|
|000013b0| 65 5c 40 6f 74 68 6d 0a | 5c 40 6f 6e 6c 79 70 72 |e\@othm.|\@onlypr|
|000013c0| 65 61 6d 62 6c 65 5c 6e | 65 77 74 68 65 6f 72 65 |eamble\n|ewtheore|
|000013d0| 6d 0a 5c 40 6f 6e 6c 79 | 70 72 65 61 6d 62 6c 65 |m.\@only|preamble|
|000013e0| 5c 74 68 65 6f 72 65 6d | 73 74 79 6c 65 0a 5c 40 |\theorem|style.\@|
|000013f0| 6f 6e 6c 79 70 72 65 61 | 6d 62 6c 65 5c 74 68 65 |onlyprea|mble\the|
|00001400| 6f 72 65 6d 62 6f 64 79 | 66 6f 6e 74 0a 5c 40 6f |orembody|font.\@o|
|00001410| 6e 6c 79 70 72 65 61 6d | 62 6c 65 5c 74 68 65 6f |nlypream|ble\theo|
|00001420| 72 65 6d 68 65 61 64 65 | 72 66 6f 6e 74 0a 5c 74 |remheade|rfont.\t|
|00001430| 68 65 6f 72 65 6d 73 74 | 79 6c 65 7b 70 6c 61 69 |heoremst|yle{plai|
|00001440| 6e 7d 0a 5c 65 6e 64 69 | 6e 70 75 74 0a 25 25 20 |n}.\endi|nput.%% |
|00001450| 45 6e 64 20 6f 66 20 66 | 69 6c 65 20 60 74 68 65 |End of f|ile `the|
|00001460| 6f 72 65 6d 2e 73 74 79 | 27 2e 0a                |orem.sty|'..     |
+--------+-------------------------+-------------------------+--------+--------+